On the Shafarevich conjecture for surfaces of general type over function fields

For a non-isotrivial family of surfaces of general type over a complex projective curve, we give upper bounds for the degree of the direct images of powers of the relative dualizing sheaf. They imply that, fixing the curve and the possible degeneration locus, the induced morphisms to the moduli scheme of stable surfaces of general type are parameterized by a scheme of finite type. The method extends to families of canonically polarized manifolds, but the modular interpretation requires the existence of relative minimal models.Comment: 11 pages, LaTeX, we corrected and added some reference

A high fibered power of a family of varieties of general type dominates a variety of general type

We prove the following theorem: Fibered Power Theorem: Let X\rar B be a smooth family of positive dimensional varieties of general type, with $B$ irreducible. Then there exists an integer $n>0$, a positive dimensional variety of general type $W_n$, and a dominant rational map X^n_B \das W_n.Comment: Latex2e (in latex 2.09 compatibility mode). To get a fun-free version change the `FUN' variable to `n' on the second line (option dedicated to my friend Yuri Tschinkel). Postscript file with color illustration available on http://math.bu.edu/INDIVIDUAL/abrmovic/fibered.p

Positivity of relative canonical bundles and applications

Given a family $f:\mathcal X \to S$ of canonically polarized manifolds, the unique K\"ahler-Einstein metrics on the fibers induce a hermitian metric on the relative canonical bundle $\mathcal K_{\mathcal X/S}$. We use a global elliptic equation to show that this metric is strictly positive on $\mathcal X$, unless the family is infinitesimally trivial. For degenerating families we show that the curvature form on the total space can be extended as a (semi-)positive closed current. By fiber integration it follows that the generalized Weil-Petersson form on the base possesses an extension as a positive current. We prove an extension theorem for hermitian line bundles, whose curvature forms have this property. This theorem can be applied to a determinant line bundle associated to the relative canonical bundle on the total space. As an application the quasi-projectivity of the moduli space $\mathcal M_{\text{can}}$ of canonically polarized varieties follows. The direct images $R^{n-p}f_*\Omega^p_{\mathcal X/S}(\mathcal K_{\mathcal X/S}^{\otimes m})$, $m > 0$, carry natural hermitian metrics. We prove an explicit formula for the curvature tensor of these direct images. We apply it to the morphisms $S^p \mathcal T_S \to R^pf_*\Lambda^p\mathcal T_{\mathcal X/S}$ that are induced by the Kodaira-Spencer map and obtain a differential geometric proof for hyperbolicity properties of $\mathcal M_{\text{can}}$.Comment: Supercedes arXiv:0808.3259v4 and arXiv:1002.4858v2. To appear in Invent. mat

On the monodromy of the moduli space of Calabi-Yau threefolds coming from eight planes in P3\mathbb{P}^3

It is a fundamental problem in geometry to decide which moduli spaces of polarized algebraic varieties are embedded by their period maps as Zariski open subsets of locally Hermitian symmetric domains. In the present work we prove that the moduli space of Calabi-Yau threefolds coming from eight planes in $\mathbb{P}^3$ does {\em not} have this property. We show furthermore that the monodromy group of a good family is Zariski dense in the corresponding symplectic group. Moreover, we study a natural sublocus which we call hyperelliptic locus, over which the variation of Hodge structures is naturally isomorphic to wedge product of a variation of Hodge structures of weight one. It turns out the hyperelliptic locus does not extend to a Shimura subvariety of type III (Siegel space) within the moduli space. Besides general Hodge theory, representation theory and computational commutative algebra, one of the proofs depends on a new result on the tensor product decomposition of complex polarized variations of Hodge structures.Comment: 26 page

Characterization of the 4-canonical birationality of algebraic threefolds

In this article we present a 3-dimensional analogue of a well-known theorem of E. Bombieri (in 1973) which characterizes the bi-canonical birationality of surfaces of general type. Let $X$ be a projective minimal 3-fold of general type with $\mathbb{Q}$-factorial terminal singularities and the geometric genus $p_g(X)\ge 5$. We show that the 4-canonical map $\phi_4$ is {\it not} birational onto its image if and only if $X$ is birationally fibred by a family $\mathscr{C}$ of irreducible curves of geometric genus 2 with $K_X\cdot C_0=1$ where $C_0$ is a general irreducible member in $\mathscr{C}$.Comment: 25 pages, to appear in Mathematische Zeitschrif

Distribution of Flux Vacua around Singular Points in Calabi-Yau Moduli Space

We study the distribution of type IIB flux vacua in the moduli space near various singular loci, e.g. conifolds, ADE singularities on P1, Argyres-Douglas point etc, using the Ashok- Douglas density det(R + omega). We find that the vacuum density is integrable around each of them, irrespective of the type of the singularities. We study in detail an explicit example of an Argyres-Douglas point embedded in a compact Calabi-Yau manifold.Comment: 27 pages, 1 figure; v2: minor change, references added ; v3: references added, published versio

Small bound for birational automorphism groups of algebraic varieties (with an Appendix by Yujiro Kawamata)

We give an effective upper bound of |Bir(X)| for the birational automorphism group of an irregular n-fold (with n = 3) of general type in terms of the volume V = V(X) under an ''albanese smoothness and simplicity'' condition. To be precise, |Bir(X)| < d_3 V^{10}. An optimum linear bound |Bir(X)|-1 < (1/3)(42)^3 V is obtained for those 3-folds with non-maximal albanese dimension. For all n > 2, a bound |Bir(X)| < d_n V^{10} is obtained when alb_X is generically finite, alb(X) is smooth and Alb(X) is simple.Comment: Mathematische Annalen, to appea

Differential Forms on Log Canonical Spaces

The present paper is concerned with differential forms on log canonical varieties. It is shown that any p-form defined on the smooth locus of a variety with canonical or klt singularities extends regularly to any resolution of singularities. In fact, a much more general theorem for log canonical pairs is established. The proof relies on vanishing theorems for log canonical varieties and on methods of the minimal model program. In addition, a theory of differential forms on dlt pairs is developed. It is shown that many of the fundamental theorems and techniques known for sheaves of logarithmic differentials on smooth varieties also hold in the dlt setting. Immediate applications include the existence of a pull-back map for reflexive differentials, generalisations of Bogomolov-Sommese type vanishing results, and a positive answer to the Lipman-Zariski conjecture for klt spaces.Comment: 72 pages, 6 figures. A shortened version of this paper has appeared in Publications math\'ematiques de l'IH\'ES. The final publication is available at http://www.springerlink.co